Can Jobs Programs Build Peace?

We Can Build the Future

Project to Build Programs That Understand

This extended abstract outlines a project to build computer programs that understand. Understanding a domain is defined as the ability to rapidly produce computer programs to deal with new problems as they arise. This is achieved by building a CAD tool that collaborates with human designers who guide the system to construct code having certain properties. The code respects Occam's Razor, intera...

Can-build | Solving the Can-build Problem Using Constraint Logic Programming

Solving the can-build problem | a subtask of Materials Requirements Planning | means establishing an executable production plan when constraints on the availability of resources occur. This paper investigates how Constraint Logic Programming can be used to solve this real-world problem. An algorithm is presented that returns the most general solution according to those constraints which are kno...

What We Can Learn from Steve Jobs

Update-Programs Can Update Programs

In the recent literature the issue of program change via updating rules (also known as revision rules) has been reduced to the issue of obtaining a new set of models, by means of the update rules, from each of the models of an initial program. Any program whose models are exactly the new set of models will count as an update of the original program. Following the classical approaches to theory ...